function empty(...{}) {}
